ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Algebraic Relativization and Arrow Logic [PhD Thesis]

دانلود کتاب ارتباطات جبری و منطق فلش [پایان نامه دکترای]

Algebraic Relativization and Arrow Logic [PhD Thesis]

مشخصات کتاب

Algebraic Relativization and Arrow Logic [PhD Thesis]

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: ILLC Dissertation Series DS-1995-03 
ISBN (شابک) : 9074795153 
ناشر: University of Amsterdam 
سال نشر: 1995 
تعداد صفحات: 175 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

قیمت کتاب (تومان) : 40,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Algebraic Relativization and Arrow Logic [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ارتباطات جبری و منطق فلش [پایان نامه دکترای] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی درمورد کتاب به خارجی



فهرست مطالب

Contents ......Page 5
Acknowledgments ......Page 7
Introduction ......Page 9
1.1 Arrow logic is the modal logic of transitions ......Page 13
1.2 Cylindric modal logic is the modal logic of assignments ......Page 15
1.4 Fine structure of definability ......Page 18
1.5 BAO’s and general modal logic ......Page 19
2.1 BAO’s, general modal logic and Kripke frames ......Page 21
2.2 Review of basic duality theory ......Page 26
2.3 Relativization and the logical core ......Page 31
2.4 Relation algebras, arrow logic and arrow frames ......Page 33
2.5 Cylindric algebras, cylindric modal logic and alpha frames ......Page 44
3.1 Filtrations ......Page 53
3.2 Relativized relation algebras ......Page 58
3.3 Relativized cylindric algebras ......Page 60
3.4 Concluding remarks ......Page 63
4.1 Axiomatizing BAO’s by representing frames ......Page 65
4.2 Relativized relation algebras ......Page 66
4.3 Reducts of relativized relation algebras ......Page 77
4.4 Adding the difference operator ......Page 82
4.5 Representing BAO’s as algebras of relations ......Page 93
4.6 Concluding remarks ......Page 103
5. Amalgamation & Interpolation ......Page 105
5.1 Amalgamation, interpolation and definability ......Page 106
5.2 Zigzag products ......Page 112
5.3 Preservation ......Page 118
5.4 Applications to relation and cylindric algebras ......Page 121
5.6 Appendix: Reformulation of (S)AP with applications ......Page 126
6.1 Introduction ......Page 135
6.2 The core language ......Page 138
6.3 Expansions of the core language ......Page 141
6.4 Two-Sorted arrow logic ......Page 152
6.5 Concluding remarks ......Page 158
Bibliography ......Page 159
Index ......Page 167
List of symbols ......Page 169
Samenvatting ......Page 173




نظرات کاربران